perm filename PATTER.LSP[F77,JMC]1 blob sn#314385 filedate 1977-10-30 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00003 ENDMK
CāŠ—;

(DEFUN INST1 (PAT EXPR A) (COND ((EQ A 'NO) 'NO)
((ISVAR PAT) ((LAMBDA (Z) (COND ((NULL Z) (CONS (CONS PAT EXPR) A))
((EQ (CDR Z) EXPR) A) (T 'NO))) (ASSOC PAT A)))
((ATOM PAT) (COND ((EQ PAT EXPR) A) (T 'NO)))
((ATOM EXPR) 'NO)
(T (INST1 (CDR PAT) (CDR EXPR) (INST1 (CAR PAT) (CAR EXPR) A)))))

(DEFUN ISVAR (X) (MEMBER X '(X X0 X1 X2 Y Y0 Y1 Y2 Z Z0 Z1 Z2 U U0 U1 U2
V V0 V1 V2 W W0 W1 W2)))